A discipline of programming / Edsger W. Dijkstra |
Autore | Dijkstra, Edsger Wybe |
Pubbl/distr/stampa | Englewood Cliffs (N.J.), : Prentice-Hall, c1976 |
Descrizione fisica | XVII, 217 p. ; 24 cm. |
Disciplina | 005.1 |
Collana | Prentice-Hall series in automatic computation |
Soggetto topico | Elaboratori elettronici - Programmazione |
ISBN | 013215871X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-PUV0310157 |
Dijkstra, Edsger Wybe | ||
Englewood Cliffs (N.J.), : Prentice-Hall, c1976 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
A method of programming / Edsger W. Dijkstra, W. H. J. Feijen ; translated by Joke Sterringa |
Autore | Dijkstra, Edsger W. |
Pubbl/distr/stampa | Wokingham : Addison-Wesley, 1988 |
Descrizione fisica | VIII, 188 p. ; 24 cm |
Disciplina | 005.131 |
Altri autori (Persone) | Feijen, W. H. J. |
Soggetto non controllato |
Elaboratori elettroniciProgrammazione
Logica simbolica |
ISBN | 0201175363 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIPARTHENOPE-000017141 |
Dijkstra, Edsger W. | ||
Wokingham : Addison-Wesley, 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Parthenope | ||
|
A method of programming / Edsger W. Dijkstra, W. H. J. Feijen ; translated by Joke Sterringa |
Autore | Dijkstra, Edsger Wybe |
Pubbl/distr/stampa | Wokingham [etc.], : Addison-Wesley, 1988 |
Descrizione fisica | VIII, 188 p. ; 24 cm |
Disciplina | 005.1 |
Altri autori (Persone) | Feijen, W. H. J. |
Soggetto topico | Elaboratori elettronici - Programmazione |
ISBN | 0201175363 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNISANNIO-AQ10007461 |
Dijkstra, Edsger Wybe | ||
Wokingham [etc.], : Addison-Wesley, 1988 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
A primer of Algol 60 programming / by E.W. Djkstra ; together with report on the algorithmic language Algol 60 |
Autore | DIJKSTRA, Edsger Wybe |
Pubbl/distr/stampa | New York ; London : published for the Automatic programming information centre, Brighton college of technology by Academic press, 1962 |
Descrizione fisica | XI, 114 p. ; 23 cm |
Disciplina | 001.6424 |
Collana | A.P.I.C. studies in data processing |
Soggetto non controllato | Elaboratori elettronici Programmazione Linguaggio Algol 60 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000557290203316 |
DIJKSTRA, Edsger Wybe | ||
New York ; London : published for the Automatic programming information centre, Brighton college of technology by Academic press, 1962 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
A discipline of programming / Edsger W. Dijkstra |
Autore | Dijkstra, Edsger Wybe |
Pubbl/distr/stampa | Englewood Cliffs, N.J. : Prentice-Hall, 1976 |
Descrizione fisica | xvii, 217 p. ; 24 cm. |
Disciplina | 001.642 |
Collana | Prentice-Hall series in automatic computation |
Soggetto topico |
Electronic digital computers-programming
Logic programming |
ISBN | 013215871X |
Classificazione | AMS 68N17 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000828789707536 |
Dijkstra, Edsger Wybe | ||
Englewood Cliffs, N.J. : Prentice-Hall, 1976 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten |
Autore | Dijkstra, Edsger W. |
Pubbl/distr/stampa | New York : Springer, c1990 |
Descrizione fisica | X, 220 p. ; 24 cm |
Disciplina | 511.3 |
Altri autori (Persone) | Scholten, Carel S. |
Collana | Texts and monographs in computer science |
Soggetto non controllato | Logica matematica |
ISBN | 0-387-96957-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNIPARTHENOPE-000018873 |
Dijkstra, Edsger W. | ||
New York : Springer, c1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Parthenope | ||
|
Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten |
Autore | Dijkstra, Edsger Wybe |
Pubbl/distr/stampa | New York [etc.], : Springer-Verlag, c1990 |
Descrizione fisica | X, 220 p. ; 24 cm. |
Disciplina | 511.3 |
Altri autori (Persone) | Scholten, Carel S. |
Collana | Texts and monographs in computer science |
Soggetto topico | Linguaggi di programmazione - Semantica |
ISBN |
0387969578
3540969578 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISANNIO-RMS0030072 |
Dijkstra, Edsger Wybe | ||
New York [etc.], : Springer-Verlag, c1990 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Sannio | ||
|
Selected Writings on Computing : A Personal Perspective / Edsger W. Dijkstra |
Autore | Dijkstra, Edsger W. |
Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1982 |
Disciplina | 510.78 |
Collana | Texts and Monographs in Computer Science |
Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
ISBN | 0-387-90652-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001089930403321 |
Dijkstra, Edsger W. | ||
New York [etc.] : Springer-Verlag, 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Selected writings on computing : a personal perspective / Edsger Wybe Dijkstra |
Autore | DIJKSTRA, Edsger W. |
Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, copyr. 1982 |
Descrizione fisica | XVII, 362 p. : ill. ; 23 cm |
Disciplina | 001.64 |
Collana | Texts and monographs in computer science |
Soggetto topico | Elaborazione elettronica dei dati |
ISBN | 0-387-90652-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000353920203316 |
DIJKSTRA, Edsger W. | ||
New York [etc.] : Springer-Verlag, copyr. 1982 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|